Cos'è modus tollens?

Modus tollens è una regola di inferenza logica che si basa sulla forma di un argomento del tipo "Se p allora q; non q, quindi non p". In altre parole, modus tollens stabilisce che se una conseguenza (q) di un'affermazione (p) non si verifica, allora l'affermazione (p) stessa deve essere falsa.

Ecco un esempio di modus tollens:

1. Se piove, allora il terreno è bagnato.
2. Il terreno non è bagnato.
3. Quindi, non sta piovendo.

Modus tollens è una delle regole di inferenza fondamentali della logica proposizionale e viene spesso utilizzata nella dimostrazione di teoremi e nello stabilire la validità di un argomento. È utile per riconoscere quando un'affermazione è falsa sulla base di una conseguenza non verificata.